Order theory

Results: 3266



#Item
111Physics / Condensed matter physics / Statistical mechanics / Quantum field theory / Quantum chemistry / Quantum Monte Carlo / Topological entropy in physics / Topological order / Variational Monte Carlo / Entropy / Auxiliary field Monte Carlo / Numerical sign problem

Entanglement and the fermion sign problem in auxiliary field quantum Monte Carlo simulations Peter Broecker and Simon Trebst arXiv:1511.02878v1 [cond-mat.stat-mech] 9 NovInstitute for Theoretical Physics, Universi

Add to Reading List

Source URL: www.thp.uni-koeln.de

Language: English - Date: 2015-11-11 02:10:34
112Calculus / Mathematical analysis / Mathematics / Differential equations / Partial differential equations / Differential calculus / Equation / Ordinary differential equation / Linear differential equation / Method of characteristics / SturmLiouville theory

An Analysis of Unsolvable Linear Partial Differential Equations of Order One

Add to Reading List

Source URL: inquiry.uark.edu

Language: English - Date: 2012-06-25 17:18:24
113Computational complexity theory / Theory of computation / Analysis of algorithms / Order theory / Parameterized complexity / NP / Exponential time hypothesis / Randomized algorithm / Time complexity / Partially ordered set / Order dimension

Chain minors are FPT Jaroslaw Blasiok1 and Marcin Kami´ nski2 1 Instytut Informatyki

Add to Reading List

Source URL: rutcor.rutgers.edu

Language: English
114Theoretical computer science / Mathematical logic / Logic in computer science / Automated theorem proving / Proof assistants / Formal methods / Type theory / Isabelle / First-order logic / Logic for Computable Functions / Unification / HOL

LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
115Cybernetics / Systems science / Cognitive science / Viable system model / Stafford Beer / Syntegrity / Second-order cybernetics / Systems theory / Fredmund Malik / Systems thinking / Variety / Allenna Leonard

New Developments of Organizational Cybernetics after Stafford Beer, 6th Metaphorum Conference

Add to Reading List

Source URL: www.metaphorum.org

Language: English - Date: 2007-03-24 11:40:48
116Algebra / Group theory / Abstract algebra / Finite groups / Sylow theorems / Index of a subgroup / Simple group / Complement / Normal p-complement

Algebra 2. Groups of order ≤ 100. Roma, December 7, 2009 In this note we show that the only non-commutative simple group of order ≤ 100 is the alternating group A5 of order 60.

Add to Reading List

Source URL: www.mat.uniroma2.it

Language: English - Date: 2009-12-30 15:57:32
117Network theory / Graph theory / Mathematics / Physics / Centrality / Flow network / Shortest path problem / Climate as complex networks / Topology / Time-varying network

Ingo Scholtes, Nicolas Wider, Antonios Garas: Higher-Order Aggregate Networks in the Analysis of Temporal Networks Higher-Order Aggregate Networks in the Analysis of Temporal Networks: Path structures and centralities

Add to Reading List

Source URL: www.sg.ethz.ch

Language: English - Date: 2015-08-27 04:09:04
118Sorting algorithms / Order theory / Mathematics / Combinatorics / Merge sort / Quicksort / Insertion sort / Sorting / Merge algorithm / Bucket sort

Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ander University of Bonn, Germany (visiting NII Tokyo) February 26th, 2010

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:10
119Game theory / Congestion game / Mathematics / Nash equilibrium / Price of anarchy / Mathematical analysis

The purpose of this note is to further generalize the smoothness framework by Roughgarden [7], in order to provide a unified proof for many existing price-of-anarchy results. 1 Bounds on the Price of Anarchy A strategic

Add to Reading List

Source URL: florian-schoppmann.net

Language: English - Date: 2016-03-04 03:20:15
UPDATE